1. Abstract machine models for highly parallel computers
پدیدآورنده : edited by John R. Davy and Peter M. Dew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel computers , Machine theory
رده :
QA
76
.
58
.
A22
1995
2. Abstract machine models for parallel and distributed computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
3. Abstract machine models for parallel and distributed computing
پدیدآورنده : edited by M. Kara... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
4. Applications of process algebra
پدیدآورنده : edited by J.C.M. Baeten
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
5. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
پدیدآورنده : J.C.M. Baeten, J.W. Klop, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
6. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
267
.
C5927
1990
7. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
پدیدآورنده : Bowman, Howard, Howard Bowman and Rodolfo Gomez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
8. Handbook of process algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H335
2001
9. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Machine theory,Parallel processing )Electronic computers(
رده :
QA
.
H335
267
2001
10. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H266
11. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
12. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
13. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
14. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
15. Theoretical computer science
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
16. concurrency theory-CONCUR 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Machine theory. ;
